منابع مشابه
The information integrity imperative
This white paper examines several dimensions of Information Integrity. It then explains why it is imperative that we mobilize interest, support, and appropriate resources to create and implement a new universal framework for achieving Information Integrity.
متن کاملCulture shift: an imperative for future survival.
Radiologists have experienced unprecedented prosperity for the past 3 decades. Technology has continually evolved, providing exciting opportunities for earlier diagnoses and improved patient care. The financial rewards enjoyed by radiologists have been impressive, and the quality of life has been difficult to beat. Circumstances change, and in the past few years, radiologists have been confront...
متن کاملA Functional View of Imperative Information Flow
We analyze dynamic information-flow control for imperative languages in terms of functional computation. Specifically, we translate an imperative language to a functional language, thus accounting for the main difficulties of information-flow control in the imperative language.
متن کاملInformation Flow Security for Imperative Languages
Information flow analyses are a way to ensure that a computer system does not release confidential data to the public. This paper presents a language-based notion of information flow security known as non-interference, and shows how to prove the property with a type system. Furthermore, practical challenges arising in flow-secure software development are outlined.
متن کاملInformation Flow and Concurrent Imperative Languages
Information flow for concurrent imperative languages is defined and studied. As a working formalism we use UNITY, where programs consist of sets of assignments executed randomly, i.e. without control flow. We study noninterference for programs which reach and do not reach fixed point a state which is not changed by a subsequent execution. We present logic formulation of noninterference as well ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zeszyty Naukowe Uniwersytetu Szczecińskiego. Studia Informatica
سال: 2015
ISSN: 0867-1753,2300-410X
DOI: 10.18276/si.2015.36-07